✅ Optimistic Concurrency Control - hello · Scour

Concurrency Deep Dive: Memory Models, Lock-Free, and RCU

dev.to·21h·

Discuss: DEV

🚧Memory Barriers

Multi-Paxos – Consensus in Distributed Databases

arpitbhayani.me·1d·

Discuss: Hacker News

SEAL: Symbolic Execution with Separation Logic (Competition Contribution)

arxiv.org·2d

🔓Lock-Free Programming

Concurrency Flavours -- Lucian Radu Teodorescu : Standard C++

isocpp.org·3d

🔄Concurrency

Thread by @jpattueyi on Thread Reader App

threadreaderapp.com·4h

🔍Borrow Checker

🔗 Processing 11 million rows in minutes instead of hours

yellowduck.be·2h

📊Vectorized Query Execution

Processes and Threads - Discourse on Concurrency, Part I

ayanmali.substack.com·1d·

Discuss: Substack

🔄Concurrency

erlang.org·1d·

Discuss: Hacker News

Performance Tip of the Week #79: Make at most one tradeoff at a time

abseil.io·13h

Building fault-tolerant applications with AWS Lambda durable functions

aws.amazon.com·1d

feldera/feldera: The Feldera Incremental Computation Engine

github.com·1d

[$] Modernizing swapping: the end of the swap map

lwn.net·2d

Simulating Leader Election on top of FoundationDB

pierrezemb.fr·3d

Linting intra-task concurrency and FutureLock

farnoy.dev·3d·

Discuss: r/rust

The Gap Analysis Protocol: Engineering the “Consultant-in-the-Loop”

pub.towardsai.net

·5h

💬Prompt Engineering

Bitcoin Optech Newsletter #391

bitcoinops.org·2d

Building Reliable AI Applications: A Validation Strategy

dev.to·52m·

Discuss: DEV

gharasathi (घरासाठी) — A Privacy-First Household AI Running on a $200 Mini PC

amazon.com.au·7h·

Discuss: DEV

**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...

freederia.com·1d

Deterministic Time with Go's Synctest

oblique.security·2d·

Discuss: Hacker News, Hacker News, r/golang

Loading more...